Counting and empty alternating pushdown automata
نویسنده
چکیده
We show that the class of context free languages CFL is not equal to ⊕1−PDA (= ⊕CFL), the class of languages, which are recognized by a nondeterministic oneway push-down automaton equipped with parity acceptance. Furthermore we show that LOG(⊕CFL) = ⊕AuxPDApt contains all languages, which can be recognized by a uniform weak unambiguous AC1-circuit introduced in [LR90a]. Therefore, it contains all languages, which can be recognized by a CREW -PRAM. We show, that L#Aux PDApt is contained in uniform TC1, which sharpens a result in [Vin91], where inclusion in NC2 was shown. At last we show, that AC, SAC and P can be characterized as the logarithmic closure of certain types of languages. These languages are either those given by linear alternating grammars or they are languages which are recognized by alternating pushdown automata with the restriction that their storage has to be empty if they make an alternating transition. In particular, we consider the cases when the depth of alternation is bounded by a constant or a polylogarithmic function.
منابع مشابه
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
Abstract. We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-empty stack (which implies that we assume a linear ordering on the collection of stacks). We show that the emptiness problem for multi-pushdown automata is 2ETIME-complete wrt. the number of stacks. Containment...
متن کاملConjunctive Grammars and Alternating Pushdown Automata Draft Paper
In this paper we introduce a variant of alternating pushdown automata, Synchronized Alternating Pushdown Automata, which accept the same class of languages as those generated by conjunctive grammars.
متن کاملAlternating and Empty Alternating Auxiliary Stack Automata
We consider variants of alternating auxiliary stack automata and characterize their computational power when the number of alternations is bounded by a constant or unlimited. In this way we get new characterizations of NP, the polynomial hierarchy, PSpace, and bounded query classes like co-DP=NL〈NP[1]〉 and 2P=P , in a uniform framework. c © 2002 Elsevier Science B.V. All rights reserved.
متن کاملOne-Turn Regulated Pushdown Automata and Their Reduction
This paper discusses some simple and natural restrictions of regulated pushdown automata. Most importantly, it studies one-turn regulated pushdown automata and proves that they characterize the family of recursively enumerable languages. In fact, this characterization holds even for atomic one-turn regulated pushdown automata of a reduced size. This result is established in terms of acceptance ...
متن کاملLinear Conjunctive Grammars and One-Turn Synchronized Alternating Pushdown Automata
In this paper we introduce a sub-family of synchronized alternating pushdown automata, one-turn Synchronized Alternating Pushdown Automata, which accept the same class of languages as those generated by Linear Conjunctive Grammars. This equivalence is analogues to the classical equivalence between one-turn PDA and Linear Grammars, thus strengthening the claim of Synchronized Alternating Pushdow...
متن کامل